<?php

	// Todo: Move to the public branch!


	$product = $_GET['product'];
	$newsformat = $_GET['format'];
	//$version = $_GET['version'];
	//$installer = $_GET['installer'];
	//$username = $_GET['username'];
	//$password = $_GET['password'];
	
	// Now emit the news channel
	$keys = makedefaultkeywords();
	header('content-type: '.$newsformat);
	
	dopage('distribution_news_'.$product.'_'.$newsformat,$keys);
	echo $output;
?>